You are here: irt.org | FOLDOC | RAISE Specification Language
<language> (RSL) (RAISE = Rigorous Approach to Industrial Software Engineering). A wide-spectrum specification and design language developed by ESPRIT Project 315 at CRI A/S, Denmark. Systems may be modular, concurrent and nondeterministic. Specifications may be applicative or imperative, explicit or implicit, abstract or concrete.
["The RAISE Specification Language", RAISE Language Group, P-H 1992, ISBN 0-13-752833-7].
(2007-10-02)
Nearby terms: rain dance « RAIS « RAISE « RAISE Specification Language » RAL » RAM » Rambus DRAM
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL